fun foo() = 10!!.toString()

// 0 IFNONNULL
